(set-logic HO_ALL)
(set-info :status sat)
(set-option :fmf-bound true)
(declare-fun A () (Bag Int))
(declare-fun B () (Bag Int))
(declare-fun f (Int) Int)
(assert (= B (bag.map f A)))
(assert (= (bag.count (- 2) B) 57))
(check-sat)
